Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
431	Verifiable C Applying the Verified Software Toolchain to C programs Version 1.5 October 1, 2014 Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2014-10-01 14:51:04 Binary operations Deduction Proof theory If and only if Logic Natural deduction Valuation Abstract algebra Mathematics Algebra
432	1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-21 10:50:57 Data types Computer programming Object-oriented programming Primitive types Programming paradigms Type system Subtype polymorphism Soundness Reference Software engineering Type theory Computing
433	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
434	Essays on Microeconomic Theory Adriano Basso A Dissertation Presented to the Faculty Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2012-05-09 16:58:12 Epistemology Game theory Utility Mathematical proof Expected utility hypothesis Algorithm Perception Knowledge Mathematical logic Mathematics
435	Presburger Arithmetic and Pseudo-Recursive Saturation David Llewellyn-Jones School of Mathematics and Statistics The University of Birmingham Edgbaston, Birmingham, B15 2TT, U.K. Add to Reading List Source URL: www.flypig.co.uk Language: English - Date: 2015-04-13 15:49:07 Logic in computer science Proof theory Mathematics Quantifier elimination Presburger arithmetic Mathematical logic Model theory Logic
436	Unlike most of my friends at PCP, I had never had a chance to live abroad and experience different culture. I was born in Osaka, and I had spent my whole time in Osaka until I entered University. So honestly, when I join Add to Reading List Source URL: www.econ.keio.ac.jp Language: English - Date: 2015-03-30 05:27:38 Phencyclidine Medicine Biochemistry Neurochemistry Probabilistic complexity theory Probabilistically checkable proof
437	M PRA Munich Personal RePEc Archive Strategy-Proof Fair School Placement Jos´e Alcalde and Antonio Romero-Medina University of Alicante, Universidad Carlos III de Madrid Add to Reading List Source URL: mpra.ub.uni-muenchen.de Language: English - Date: 2015-05-10 10:01:25 Problem solving Pareto efficiency Equity Decision theory Core Justice Preference Game theory Welfare economics Economics
438	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
439	Appendices Algorithms Appendix I: Proof by Induction [Fa’13] Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:40:46 Integer sequences Division Modular arithmetic Divisor Mathematical induction Prime number Mathematical proof Order Fundamental theorem of arithmetic Mathematics Mathematical logic Number theory
440	A General Discrete Velocity Model Including Internal Degrees of Freedom Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Set theory Ordinal numbers Proof theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Collision Mechanics

UPDATE